大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号:
作者:Moor、 Oege.、Schwartzbach、 Michael I.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applications of Declarative Programming and Knowledge Management [electronic resource] : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, W眉rzburg, Germany, October 4-6, 2007, Revised Selected Papers

0
索取号:
作者:Seipel、 Dietmar.、Hanus、 Michael.、Wolf、 Armin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.

Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号:
作者:Alfaro、 Luca.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号:
作者:Chechik、 Marsha.、Wirsing、 Martin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号:
作者:Castagna、 Giuseppe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Numerical Analysis and Its Applications [electronic resource] : 4th International Conference, NAA 2008, Lozenetz, Bulgaria, June 16-20, 2008. Revised Selected Papers

0
索取号:
作者:Margenov、 Svetozar.、Vulkov、 Lubin G.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Language Engineering [electronic resource] : First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers

0
索取号:
作者:Ga拧evi膰、 Dragan.、L盲mmel、 Ralf.、Wyk、 Eric.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Engineering Secure Software and Systems [electronic resource] : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

0
索取号:
作者:Massacci、 Fabio.、Redwine、 Samuel T.、Zannone、 Nicola.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

The Rubato Composer Music Software [electronic resource] : Component-Based Implementation of a Functorial Concept Architecture

0
索取号:
作者:Milmeister、 G茅rard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Software Engineering [electronic resource] : International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures

0
索取号:
作者:Lucia、 Andrea.、Ferrucci、 Filomena.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Experience and Knowledge Management in Software Engineering [electronic resource]

0
索取号:
作者:Schneider、 Kurt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Earthquake Resistant Buildings [electronic resource] : Dynamic Analyses, Numerical Computations, Codified Methods, Case Studies and Examples

0
索取号:
作者:Bangash、 M.Y.H.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Logic Programming [electronic resource] : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings

0
索取号:
作者:Garcia de la Banda、 Maria.、Pontelli、 Enrico.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Numerical Simulation of Turbulent Flows and Noise Generation [electronic resource] : Results of the DFG/CNRS Research Groups FOR 507 and FOR 508

0
索取号:
作者:Brun、 Christophe.、Juv茅、 Daniel.、Manhart、 Michael.、Munz、 Claus-Dieter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Recent Advances in Constraints [electronic resource] : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

0
索取号:
作者:Fages、 Fran莽ois.、Rossi、 Francesca.、Soliman、 Sylvain.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Software Engineering [electronic resource] : Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures

0
索取号:
作者:B枚rger、 Egon.、Cisternino、 Antonio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类